bitkeeper revision 1.1159.1.493 (41c7f20ddOk-npO0TN0HEnD6Fu6LGg)

Fix debug build.

diff --git a/xen/arch/x86/vmx_vmcs.c b/xen/arch/x86/vmx_vmcs.c
index 755d4815381e5fd0c47ae9a9e045dd54006cc705..b7e71c935dcc71c3bc8fb2d21807a7703e11484b 100644 (file)
--- a/xen/arch/x86/vmx_vmcs.c
+++ b/xen/arch/x86/vmx_vmcs.c
@@ -195,10 +195,10 @@ void vmx_do_launch(struct exec_domain *ed)
     spin_lock(&d->page_alloc_lock);
     list_ent = d->page_list.next;
 
-    mpl2e = (l2_pgentry_t *) map_domain_mem(pagetable_val(ed->mm.monitor_table));
-    ASSERT(mpl2e[PERDOMAIN_VIRT_START >> L2_PAGETABLE_SHIFT]);
+    mpl2e = (l2_pgentry_t *)map_domain_mem(pagetable_val(ed->mm.monitor_table));
 
-    for (i = 0; list_ent != &d->page_list; i++ ) {
+    for ( i = 0; list_ent != &d->page_list; i++ )
+    {
         pfn = list_entry(list_ent, struct pfn_info, list) - frame_table;
         ed->mm.min_pfn = min(ed->mm.min_pfn, pfn);
         ed->mm.max_pfn = max(ed->mm.max_pfn, pfn);